\begin{tipo}{SMS}
	\observador{nroDestino}{s: SMS}{Numero}
	\observador{texto}{s: SMS}{Texto}	
	\medskip
	\invariante[noEstaVacio]{\longitud{texto} > 0}
	\invariante[noSupera160]{\longitud{texto} \leq 160}
\end{tipo}
